41. Finite automata, formal logic, and circuit complexity
پدیدآورنده: Straubing, Howard, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
42. Foundations of Computational Linguistics :
پدیدآورنده: by Roland Hausser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Information storage and retrieval systems.
رده :
P98
.
B976
2001
43. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده: Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
44. Fundamentals of computation theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
45. Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977
پدیدآورنده: / edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses
رده :
QA267
.
I57
1977
46. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1981
47. Fundamentals of computation theory, proceedings of the 1981 International FCT-Conferece, Szeged, August 2428, 1981
پدیدآورنده: / Edited by Ference Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Machine thoery - Congresses,Computational complexity - Congresses
رده :
QA267
.
I57
1981
48. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
49. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
50. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
51. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
پدیدآورنده: edited by Ferenc Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
117
52. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24-28, 1981
پدیدآورنده: edited by Ferenc Gecseg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
117
53. Information and randomness: an algorithmic perspective
پدیدآورنده: Calude, Cristian
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
267
.
C22
2002
54. Information and randomness : an algorithmic perspective
پدیدآورنده: Calude, Cristian
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
267
.
C33
1994
55. Information, randomness & incompleteness : papers on algorithmic information theory
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
267
.
C49
1987
56. Information, randomness & incompleteness : papers on algorithmic information theory
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
267
.
C49
1987
57. Information randomness & incompleteness : papers on algorithmic information theory
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
267
.
C49
1990
58. Information-theoretic incompleteness
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Machine theory , Computational complexity
رده :
QA
267
.
C5
59. Introduction to automata theory, Languages and computation
پدیدآورنده: Hopcroft, John E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity
رده :
QA
267
.
H56
60. Introduction to automata theory, languages, and computation
پدیدآورنده: Hopcroft, John E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
